necessary condition for deadlock